Common logic

Results: 270



#Item
71Reasoning / Knowledge engineering / Knowledge representation / Ontology / Lisp programming language / LOOM / Lisp / Inference / Description logic / Computing / Software engineering / Computer programming

R Manual PowerLoom Powerful knowledge representation and reasoning with delivery in Common-Lisp, Java, and C++

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2010-10-16 18:34:37
72Arguments / Critical thinking / Logical consequence / Logic / Reason / Science / Knowledge / Mind

A list of common task words Account for Give reasons for or explain why something happens.

Add to Reading List

Source URL: www.student.uwa.edu.au

Language: English - Date: 2014-04-11 03:11:35
73Reasoning / Deduction / Thought / Cognitive science / Logical consequence / Deductive reasoning / Inference / Reason / Validity / Science / Logic / Ethology

Reasoning with Mental Models Cohen R (ed[removed]Realism and Anti-realism in the Philosophy of Science. Kluwer, Dordrecht, The Netherlands Cornman J W 1975 Perception, Common Sense, and Science. Yale University Press, New

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:37:19
74Linguistics / Source code / Grammar / Common logic / Syntax / Comma / AS/400 Control Language / Ellipsis / Punctuation / Computing / Software engineering

Microsoft Word[removed]defect-report.doc

Add to Reading List

Source URL: cl.tamu.edu

Language: English - Date: 2008-06-22 20:33:05
75Mathematical proof / Evidence / Knowledge / Logic / Terminology / Mathematical logic / Common law / Prima facie

RealTime Transcriptions TRANSCRIPTION OF THE COMMISSION OF INQUIRY MARIKANA BEFORE TRIBUNAL

Add to Reading List

Source URL: www.marikanacomm.org.za

Language: English - Date: 2014-11-11 05:16:15
76Functional languages / Lisp programming language / Reasoning / Prolog / Artificial intelligence / Logic programming / Common Lisp / Backtracking / Backward chaining / Software engineering / Computing / Computer programming

Artificial Intelligence through Prolog by Neil C. Rowe

Add to Reading List

Source URL: cdn.preterhuman.net

Language: English - Date: 2012-10-01 15:31:57
77Formal sciences / Mathematical logic / Abstraction / Axiology / Epistemic modal logic / Common knowledge / Temporal logic / Game theory / Logic / Science / Artificial intelligence

AISB 2008 Convention Communication, Interaction and Social Intelligence 1st-4th April 2008 University of Aberdeen

Add to Reading List

Source URL: www.aisb.org.uk

Language: English - Date: 2008-03-16 16:15:52
78Mind / Knowledge / Critical thinking / Epistemology / Learning / Logic / Education / Philosophy of education / Educational psychology

The Common Grade Scale for Preliminary Courses tBuKdoifwef;rsm;twGuf tajccHwlnDaom tqifhtwef; wdkif;wmrIpepf atmufwGifaz:jyxm;aom tajccHwlnDonfh tqifhtwef; wdkif;wmrIpepfudk NSW jynfe,ftwGif;½Sd ausmif;tm;vHk;ü tBuKdt

Add to Reading List

Source URL: www.schools.nsw.edu.au

Language: English - Date: 2013-10-26 20:28:50
79Modal logic / Artificial intelligence / Knowledge representation / Kripke semantics / Frame problem / Entailment / Epistemic modal logic / Common knowledge / Stable model semantics / Logic / Philosophical logic / Logic programming

Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2011-06-04 22:05:46
80Logic programming / Modal logic / Artificial intelligence / Multi-agent systems / Epistemic modal logic / Philosophical logic / Common knowledge / Stable model semantics / Situation calculus / Logic / Science / Mathematical logic

Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2011-06-04 22:29:10
UPDATE